Lean 4 関数型プログラミング
from:
lean4-samples/ListComprehension at main · leanprover/lean4-samples
ここを見るとmap、Pythonのリスト内包表記などが使えることがわかる。
あと
def List.prod
の感じが
OCaml
っぽさを感じる
関数型プログラミングをする際は
『Functional Programming in Lean』
を見ておくとよい?
確認用
Q. Lean 4 関数型プログラミング
調査用
/pogi-log/Google.icon
Lean 4 関数型プログラミング
/pogi-log/Google.icon
Lean 4 functional programming